\( \renewcommand\iff{\Leftrightarrow} \def\st{\,\cdot\ni\cdot\,} \)
Set Theory
The course is on the axiomatic approach to Set Theory of Neumann-Bernays-Gödel (NBG). The text book is "Set Theory" of Charles Pinter (Addison-Wesley Publ. Co. 1971).
This was the final exam for the students who cannot not take the test on Tuesday 17; these are the solutions.
Please, do exercise 4 of the handout, exercise 3 (page 98) and exercise 1 (page 146) in the textbook. The due date is Tuesday, June, 10.
Here you can find the solutions of the exercises of the assignment.
Here you can find four exercises. Please, do also exercises 4, 9 and 10 of page 125 of the book.
This is the content of the lecture of Friday, May 30th, and this is the lecture in desktop recording.
This is the content of the lecture of Tuesday, May 27th, and this is the lecture in desktop recording.
This is the syllabus of the lecture. At the first page there is the proof this fact: if $ P $ is a partition of $ A $, then $ xGy\iff\exists B\in P\st x,y\in B $ is an equivalence class, and $ A/G = P $.
At page two, please do exercise 1,2 and 3. At page three you can find some exercises on the equivalence relation from the textbook (Charles Pinter, Set Theory). Please do exercises 1 and 3.
These are the solutions of the exercises of page 2. Here you can find the solution of the exercise 3, page 98.
This is a note on equivalent definitions of bijective functions